Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
581	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: download.nus.edu.sg Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
582	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: mirrors.ircam.fr Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
583	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
584	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: anorien.csc.warwick.ac.uk Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
585	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.eq.uc.pt Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
586	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:57 Mathematical logic Formal methods Logical syntax Logical truth ACL2 Automated theorem proving Mathematical proof Theorem Automated proof checking Logic Mathematics Lisp programming language
587	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
588	A First Step Towards a Unified Proof Checker for QBF Toni Jussila1 , Armin Biere1 , Carsten Sinz2 , Daniel Kr¨ oning3 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-01-30 18:21:35 Automated theorem proving Complexity classes Boolean algebra Model theory True quantified Boolean formula Predicate logic Resolution Skolem normal form FO Theoretical computer science Mathematics Mathematical logic
589	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
590	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.fernuni-hagen.de Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving